Probabilistic Timing Verification and Timing Analysis for Synthesis of Digital Interface Controllers
نویسندگان
چکیده
منابع مشابه
Modeling timing correlation and the accurate timing verification of digital interface circuits
Recent research on timing verification of digital interface circuits has implicitly assumed that the delays of different signal transitions in the circuit are independent of one another. However timing diagrams in data sheets clearly specify correlation information. If timing correlation is ignored the results of verification can be overly pessimistic. In this paper we propose a probabilistic t...
متن کاملSchedule Verification and Synthesis for Embedded Real-time Components∗
In this paper we address the problems of schedule synthesis and timing verification for component based architectures in embedded systems. We consider a component to be a set of tasks with response times that lie within specified intervals. When a set of components is deployed to implement a desired functionality, we want to guarantee that the components can achieve the timing constraints of th...
متن کاملSoftware Environment for Automated Verification of Distributed Industrial Controllers following Iec61499
Abstract. This paper presents the Verification Environment for Distributed Applications (VEDA), which is a software package for Deep Debugging of distributed controllers. Deep Debugging is a combination of model-based simulation and verification united by a homogeneous graphical user interface. VEDA deals with controllers defined in IEC61131 and IEC61499 and automatically generates the formal m...
متن کاملPractical Timing Analysis of Asynchronous Systems Using Time Separation of Events
We present a unified technique for timing verification and performance analysis of complex asynchronous systems designed with implicit timing assumptions. Our method models interacting controllers and datapath elements using timing constraint graphs. Performance metrics and timing constraints to be verified are formulated as time separations between appropriate events. Separations between all r...
متن کاملAsynchronous Interface Speci cation, Analysis and Synthesis
Interfaces, by nature, are often asynchronous since they serve for connecting multiple distributed modules/agents without common clock. However, the most recent developments in the theory of asynchronous design in the areas of speci cations, models, analysis, veri cation, synthesis, technology mapping, timing optimization and performance analysis are not widely known and rarely accepted by indu...
متن کامل